A Novel Test Coverage Metric for Concurrently-Accessed Software Components

Specification Coverage Aided Test Selection

In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously presented on-the-fly test generation algorithms for ioco to include test selection heuristic based on a specification coverage metric. The proposed method combines a greedy test selection with randomization to guarantee com...

Effective Coverage as a New Metric for Monitoring Progress towards Universal Health Coverage

Minimal Test Case Generation for Effective Program Test using Control Structure Methods and Test Effectiveness Ratio

Software testing is the critical activity in any industrial–strength software development process. As the software grows in size, its complexity increases and testing becomes more difficult. Hence generating test cases manually produces more errors and affects overall system quality. In this paper, we have proposed a tool for automatic generation of test cases using the control structure method...

Achieving Higher Test Coverage Faster

Test coverage is an important metric of software quality, since it indicates thoroughness of testing. A fundamental problem of software testing is how to achieve higher coverage faster, and it is a difficult problem since it requires testers to cleverly pinpoint test input data to steer execution sooner toward application code that contains more statements. We created a novel fully automatic ap...

State Coverage: Software Validation Metrics beyond Code Coverage

Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether some unit of code is sufficiently tested are based on code coverage, which measures what code fragments are exercised by the test suite. Unfort...